A. Chagrov, M. Zakharyaschev; "Modal Logic" - Internet Explorer 2.0

A. Chagrov, M. Zakharyaschev; "Modal Logic"

Thms

A. Chagrov, M. Zakharyaschev; "Modal Logic" Thm 3.17：様相論理の一点フレームに関する定理